Abstract data type

Results: 296



#Item
251Type theory / Deduction / Data types / Functional programming / Symbol / Entailment / Type system / Valuation / Sheaf / Abstract algebra / Logic / Mathematics

SeLINQ: Tracking Information across Application-Database Boundaries Daniel Schoepe Daniel Hedin

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2014-06-11 07:34:43
252Abstract algebra / Morphometrics / Vector space / Array data type / JPEG / Array / Matrix / R / Euclidean vector / Algebra / Mathematics / Linear algebra

Package ‘Momocs’ July 2, 2014 Type Package Title Shape Analysis of Outlines Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 10:05:44
253Data types / Type theory / Object-oriented programming / Functional programming / Generic programming / Standard ML / Iterator pattern / Fold / Pattern matching / Software engineering / Computing / Computer programming

Design Patterns as Higher-Order Datatype-Generic Programs Jeremy Gibbons Oxford University Computing Laboratory http://www.comlab.ox.ac.uk/jeremy.gibbons/ Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2006-07-28 13:18:14
254Computer arithmetic / Abstract algebra / Linear algebra / Data types / Primitive types / Sequence container / Arbitrary-precision arithmetic / Vector space / Rounding / Algebra / Mathematics / Computing

Package ‘bit64’ July 2, 2014 Type Package Title A S3 class for vectors of 64bit integers Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 11:22:02
255Science / Simple Knowledge Organization System / DSpace / Metadata / FOAF / Linked data / Institutional repository / Semantic Web / Knowledge representation / Information

Using SKOS and FOAF for Name Authority in the Institutional Repository Tom Johnson, Digital Applications Librarian, Oregon State University Submission Type: Conference Paper/Presentation Abstract:

Add to Reading List

Source URL: or2013.net

Language: English - Date: 2013-03-04 17:09:00
256Data types / Object-oriented programming / Type theory / Abstract data types / Programming paradigms / Type system / Abstraction / Set / Abstract type / Software engineering / Computing / Computer programming

On Understanding Data Abstraction, Revisited William R. Cook University of Texas at Austin [removed] Abstract

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2014-05-12 17:53:45
257Type theory / Functional languages / Data types / Control flow / Procedural programming languages / Dependent type / Agda / Eval / Type system / Computing / Software engineering / Software

Verified Stack-Based Genetic Programming via Dependent Types? Larry Diehl http://github.com/larrytheliquid/dtgp/tree/aaip11 Abstract. Genetic Programming (GP) can act as a powerful search

Add to Reading List

Source URL: www.cogsys.wiai.uni-bamberg.de

Language: English - Date: 2011-07-04 13:30:24
258Functional languages / Abstract algebra / Linear algebra / Cross-platform software / Vector calculus / Ggplot2 / Function / R / Vector space / Algebra / Computing / Mathematics

Package ‘eeptools’ July 2, 2014 Type Package Title Convenience functions for education data Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 11:42:43
259Data types / Procedural programming languages / 4GL / Business intelligence / SAS / Array data type / C / Array / Record / Computing / Software engineering / Computer programming

PharmaSUG – Paper CC09 Array, Hurray, Array; Consolidate or Expand Your Input Data Stream Using Arrays William E Benjamin Jr, Owl computer Consultancy, LLC Phoenix AZ ABSTRACT You have an input file with one record pe

Add to Reading List

Source URL: www.pharmasug.org

Language: English - Date: 2013-05-05 15:33:32
260Markup languages / XML / Computer file formats / Open formats / Technical communication / Document Type Definition / Attribute / XML Schema Language comparison / Oxygen XML Editor / Computing / Web standards / Data

PharmaSUG[removed]Paper BB11 XML in a SAS® and Pharma World Mike Molter, d-Wise, Raleigh, NC ABSTRACT The introduction of standards to the clinical data life cycle has brought about significant changes to the job of a S

Add to Reading List

Source URL: www.pharmasug.org

Language: English - Date: 2014-05-28 21:46:01
UPDATE